Supervisor Localization of Discrete-Event Systems Based on State Tree Structures

Supervisor Localization of Discrete-Event Systems with Infinite Behavior

Recently we developed supervisor localization, a top-down approach to distributed control of discreteevent systems (DES) with finite behavior. Its essence is the allocation of monolithic (global) control action among the local control strategies of individual agents. In this report, we extend supervisor localization to study the distributed control of DES with infinite behavior. Specifically, w...

Supervisor Localization of Discrete-Event Systems under Partial Observation

Recently we developed supervisor localization, a top-down approach to distributed control of multiagent discrete-event systems. Its essence is the allocation of monolithic (global) control action among the local control strategies of individual agents. In this paper, we extend supervisor localization by considering partial observation, namely not all events are observable. Specifically, we use ...

Supervisor Reduction for Discrete-Event Systems

On Compositional Supervisor Synthesis for Discrete Event Systems

Over the past decades, human dependability on technical devices has rapidly increased. Many activities of such devices can be described by sequences of events, where the occurrence of an event causes the system to go from one state to another. This is elegantly modeled by automata. Systems that are modeled in this way are referred to as discrete event systems. Many of these systems appear in se...

On-line Supervisor Synthesis for Partially-observed Discrete-event Systems

A partial information supervisor that generates a class of closed controllable and observable sublanguages of a speci ed `legal' language is presented. The supervisor has the following features: (i) it can be implemented on-line (i.e., the disabled event set need only be computed once upon each event observation); (ii) the computations of the disabled event set can be performed in O(mn) worst-c...